$\forall$$i$:Id, $d$:(\{$k$:Knd$\mid$ $\uparrow$hasloc($k$;$i$)\}  List).
\\[0ex]\{$k$:Knd$\mid$ ($k$ $\in$ $d$)\}  $\subseteq$r \{$k$:\{$k$:Knd$\mid$ $\uparrow$hasloc($k$;$i$)\} $\mid$ ($k$ $\in$ $d$)\}